Towards experimental P-systems using multivesicular liposomes
نویسندگان
چکیده
منابع مشابه
Topology of Multivesicular Liposomes, a Model Biliquid Foam
Freeze-fracture electronmicroscopywasused to characterize themicrostructure of anovelmultivesicular liposome (MVL) currently under investigation as a depot-type drug delivery vehicle. The interior of the MVLincludesbilayer-enclosed,water-filled compartmentssurroundedbyanencapsulatingoutermembrane. The contacts between compartments exhibit tetrahedral coordination analogous to a gas-liquid foam ...
متن کاملTowards Automated Verification of P Systems Using Spin
This paper presents an approach to P systems verification using the Spin model checker. The authors have developed a tool which implements the proposed approach and can automatically transform P system specifications from P-Lingua into Promela, the language accepted by the well known model checker Spin. The properties expected for the P system are specified using some patterns, representing hig...
متن کاملTowards Probabilistic Model Checking on P Systems Using PRISM
In this paper it is presented the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM.
متن کاملTowards a Hierarchy of Conformons-P Systems
The combination of a theoretical model of the living cell and membrane computing suggested a new variant of a computational model called conformons-P system based on membrane-enclosed compartments where conformon-like objects evolve. Some variants of such model are presented and their computational power is sketched.
متن کاملTowards a Spiking Neural P Systems OS
This paper is an attempt to incorporate the idea of spiking neural P systems as an early seed into the area of Operating System Design, regarding their capability to solve some classical computer science problems. It is reflecting the power of such systems to simulate well known parallel computational models, like logic gates, arithmetic operation, and sorting. In these devices, the time (when ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Membrane Computing
سال: 2019
ISSN: 2523-8906,2523-8914
DOI: 10.1007/s41965-018-00006-7